Projective line Totally Explained

Everything about Projective Line totally explained

In mathematics, a projective line is a one-dimensional projective space. The projective line over a field K, denoted P¹(K), may be defined as the set of one-dimensional subspaces of the two-dimensional vector space K² (it does carry other geometric structures). For the generalisation to the projective line over an associative ring, see inversive ring geometry.

Homogeneous coordinates

An arbitrary point in the projective line P¹(K) may be given in homogeneous coordinates by a pair ť

[x_1: x_2]

of points in K which are not both zero. Two such pairs are equal if they differ by an overall (nonzero) factor λ: ť

[x_1: x_2] = [lambdax_1 : lambda x_2].

The line K may be identified with the subset of P¹(K) given by ť

left. Not that the line isn't topologically equivalent to a circle, since its sides (inside and outside) are not orientable.

Compare the extended real number line, which distinguishes ∞ and −∞.

Complex projective line: the Riemann sphere

Adding a point at infinity to the complex plane results in a space that's topologically a sphere. Hence the complex projective line is also known as the Riemann sphere (or sometimes the Gauss sphere). It is in constant use in complex analysis, algebraic geometry and complex manifold theory, as the simplest example of a compact Riemann surface.

For a finite field

For a (numerically) finite field F having q elements, the projective line K has ť q + 1

elements. We can write all but one of the subspaces as ť y = ax

with a in F; this leaves out only the case of the line x = 0. For a finite field there's a definite loss if the projective line is taken to be this set, rather than an algebraic curve — one should at least see the underlying infinite set of points in an algebraic closure as potentially on the line.

Symmetry group

Quite generally, the group of Möbius transformations with coefficients in K acts on the projective line P¹(K). This group action is transitive, so that P¹(K) is a homogeneous space for the group, often written PGL₂(K) to emphasise its definition as a projective linear group. Transitivity says that any point Q may be transformed to any other point R by a Möbius transformation. The point at infinity on P¹(K) is therefore an artefact of choice of coordinates: homogeneous coordinates ť [X:Y] = [tX:tY]

express a one-dimensional subspace by a single non-zero point (X,Y) lying in it, but the symmetries of the projective line can move the point ∞ = [1:0] to any other, and it's in no way distinguished.
Much more is true, in that some transformation can take any given distinct points Q_i for i = 1,2,3 to any other 3-tuple R_i of distinct points (triple transitivity). This amount of specification 'uses up' the three dimensions of PGL₂(K). The computational aspect of this is the cross-ratio.

As algebraic curve

The projective line is a fundamental example of an algebraic curve. From the point of view of algebraic geometry, P¹(K) is a non-singular curve of genus 0. If K is algebraically closed, it's the unique such curve over K, up to isomorphism. In general (non-singular) curves of genus 0 are isomorphic over K to a conic C, which is the projective line if and only if C has a point defined over K; geometrically such a point P can be used as origin to make clear the correspondence using lines through P.
   The function field of the projective line is the field K(T) of rational functions over K, in a single indeterminate T. The field automorphisms of K(T) over K are precisely the group PGL₂(K) discussed above.
   One reason for the great importance of the projective line is that any function field K(V) of an algebraic variety V over K, other than a single point, will have a subfield isomorphic with K(T). From the point of view of birational geometry, this means that there will be a rational map from V to P¹(K), that isn't constant. The image will omit only finitely many points of P¹(K), and the inverse image of a typical point P will be of dimension dim V − 1. This is the beginning of methods in algebraic geometry that are inductive on dimension. The rational maps play a role analogous to the meromorphic functions of complex analysis, and indeed in the case of compact Riemann surfaces the two concepts coincide.
   If V is now taken to be of dimension 1, we get a picture of a typical algebraic curve C presented 'over' P¹(K). Assuming C is non-singular (which is no loss of generality starting with K(C)), it can be shown that such a rational map from C to P¹(K) will in fact be everywhere defined. (That isn't the case if there are singularities, since for example a double point where a curve crosses itself may give an indeterminate result after a rational map.) This gives a picture in which the main geometric feature is ramification.
   Many curves, for example hyperelliptic curves, are best presented abstractly, as ramified covers of the projective line. According to the Riemann-Hurwitz formula, the genus then depends only on the type of ramification.
   A rational curve is a curve of genus 0, so any curve in the birational class of the projective line (see rational variety). A rational normal curve in projective space Pⁿ is a rational curve that lies in no proper linear subspace; it's known that there's essentially one example, given parametrically in homogeneous coordinates as ť [1:t:t²:...:tⁿ].

See twisted cubic for the first interesting case.

Further Information

Get more info on 'Projective Line'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://projective_line.totallyexplained.com">Projective line Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.